Math 504 : Set Theory
نویسنده
چکیده
These lecture notes are intended to recapitulate class lectures. Several notational considerations exist. Namely, appendices to lectures generally provide information not found in the lecture, but are nonetheless helpful for producing a more rigorous understanding of the material; an * (asterisk) next to a proposition, definition, theorem, etc. indicates it was not explicitly written (or mentioned) in class, but aids the flow or completeness of the notes; an to the left of a statement indicates this was given in class as a homework Ä problem or personal exercise; finally, a footnote marked as will be provided (to the far left of the page if it refers to mathematical notation) if an error was found in the lecture.
منابع مشابه
Common Fixed Points and Invariant Approximations for Cq-commuting Generalized nonexpansive mappings
Some common fixed point theorems for Cq-commuting generalized nonexpansive mappings have been proved in metric spaces. As applications, invariant approximation results are also obtained. The results proved in the paper extend and generalize several known results including those of M. Abbas and J.K. Kim [Bull. Korean Math. Soc. 44(2007) 537-545], I. Beg, N. Shahzad and M. Iqbal [Approx. Theory A...
متن کاملRealizing Mahlo set theory in type theory
After introducing the large set notion of Mahloness, this paper shows that constructive set theory with an axiom asserting the existence of a Mahlo set has a realizability interpretation in an extension of Martin-Löf type theory developed by A. Setzer.
متن کاملSoft Bitopological Spaces
N. Cagman, S. Karatas and S. Enginoglu, Soft topology, Comput. Math. Appl. 62 (2011), 351-358. D. Chen, The parametrization reduction of soft sets and its applications, Comput. Math. Appl. 49 (2005) 757-763. F. Feng, Y. B. Jun, X. Z. Zhao, Soft semirings, Comput. Math. Appl. 57 (2009), 1547-1553. J. C. Kelly, Bitopological spaces, Proc. London Math. Soc. , 13 (1963), 71-81. P. K. Maji, R. Biswa...
متن کاملThe natural numbers in constructive set theory
Constructive set theory started with Myhill's seminal 1975 article [8]. This paper will be concerned with axiomatizations of the natural numbers in constructive set theory discerned in [3], clarifying the deductive relationships between these axiomatizations and the strength of various weak constructive set theories.
متن کامل